$R_{1}$ $\Leftarrow\!$ $R_{2}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$R_{2}$ =$>$ $R_{1}$